搜索
全球首个真正实现项目级开发的AI IDE，正在重新定义AI编程。这就是AI编程初创团队芸思智能（AIYouthLab）推出的全新AI IDE——Vinsoo。无论你是新手码农还是资深架构师，它都能帮你完成从需求分析到最终交付的完整开发流程。
大家好，我是歸藏（guizang），今天给大家带来昨天探索的 AI 许愿祈福壁纸教程。昨天做了几张 AI 玄学的那种祈福壁纸，除了常见的文字花纹还加上了对应的神仙和一些现代化的处理。
8月3日消息，据美国专利商标局网站，马斯克旗下人工智能公司 xAI 已于 8 月 1 日（前天）为“Macrohard”（巨硬）商标提交了商标申请，商标持有者为 xAI LLC，申请费用为 2300 美元（现汇率约合 16569 元人民币）。
OpenRouter 再度上线了一款新模型，Horizon Beta 。这款模型是之前上线的模型Horizon Alpha 的提升版本。不出意外，这款模型也是来自于 OpenAI。
让 OpenAI 拿到 IMO 金牌的模型，背后居然只有三个核心开发者？这是 OpenAI IMO 团队最近接受媒体采访披露的信息。
长期以来，科学家（研究者）和工程师的角色定位泾渭分明。这种分野不仅存在于学术界，也深植于大众文化之中。比如在美剧《生活大爆炸》中，物理学家谢尔顿・库珀就时常以「真正的科学家」自居，对身为工程师的霍华德・沃洛维兹冷嘲热讽，两者的职业差异甚至成为该喜剧的重要素材。
这是一期真格基金管理合伙人戴雨森的访谈实录，也是2025年中，对于整个 AI 行业的一次半年度复盘。
这家公司叫Salient，主打AI agents贷款服务，刚刚在A轮融资中筹集了6000万美元，折合人民币4.3亿元。此次融资由Andreessen Horowitz旗下的a16z领投，Matrix Partners、Michael Ovitz和Y Combinator跟投。
最近整个 AI 圈的目光似乎都集中在 GPT-5 上，相关爆料满天飞，但模型迟迟不见踪影。昨天我们报道了 The Information 扒出的 GPT-5 长文内幕，今天奥特曼似乎也坐不住，发了推文表示「惊喜很多，值得等待」。
拒绝小扎10亿刀报价的哥们儿，被挖出来了—— Andrew Tulloch，OpenAI前CTO Mira创业搭子，参与了OpenAI GPT-4o到o系列的研发，还曾在Meta工作过11年。